Kemmerer, Richard R.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Formal analysis of an electronic voting system: An experience report

Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita

Journal:

Journal of Systems and Software

Year:

2011

Language:

english

File:

PDF, 1.13 MB

english, 2011

2

Complexity measures for assembly language programs

J.David Blaine, Richard A. Kemmerer

Journal:

Journal of Systems and Software

Year:

1985

Language:

english

File:

PDF, 1.54 MB

english, 1985

3

[ACM Press the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium - Helsinki, Finland (2003.09.01-2003.09.05)] Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03 - Designing and implementing a family of intrusion detection systems

Vigna, Giovanni, Valeur, Fredrik, Kemmerer, Richard A.

Year:

2003

Language:

english

File:

PDF, 200 KB

english, 2003

4

[ACM Press the 16th ACM conference - Chicago, Illinois, USA (2009.11.09-2009.11.13)] Proceedings of the 16th ACM conference on Computer and communications security - CCS '09 - Your botnet is my botnet

Stone-Gross, Brett, Cova, Marco, Cavallaro, Lorenzo, Gilbert, Bob, Szydlowski, Martin, Kemmerer, Richard, Kruegel, Christopher, Vigna, Giovanni

Year:

2009

Language:

english

File:

PDF, 1.30 MB

english, 2009

5

[ACM Press the 1996 international symposium - San Diego, California, United States (1996.01.08-1996.01.10)] Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 - Why state-of-the-art is not state-of-the-practice (panel)

Denney, Richard, Kemmerer, Dick, Leveson, Nancy, Savoia, Alberto

Year:

1996

File:

PDF, 26 KB

1996

6

[ACM Press the 2011 ACM SIGCOMM conference - Berlin, Germany (2011.11.02-2011.11.04)] Proceedings of the 2011 ACM SIGCOMM conference on Internet measurement conference - IMC '11 - Understanding fraudulent activities in online ad exchanges

Stone-Gross, Brett, Stevens, Ryan, Zarras, Apostolis, Kemmerer, Richard, Kruegel, Chris, Vigna, Giovanni

Year:

2011

Language:

english

File:

PDF, 717 KB

english, 2011

7

[ACM Press the 20th IEEE/ACM international Conference - Long Beach, CA, USA (2005.11.07-2005.11.11)] Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05 - Designing and implementing a family of intrusion detection systems

Kemmerer, Richard A.

Year:

2005

Language:

english

File:

PDF, 83 KB

english, 2005

8

Why state-of-the-art is not state-of-the-practice (panel)

Denney, Richard, Kemmerer, Dick, Leveson, Nancy, Savoia, Alberto

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1996

File:

PDF, 26 KB

1996

9

NetSTAT: A network-based intrusion detection system

Vigna, Giovanni, Kemmerer, Richard A.

Journal:

Journal of Computer Security

Year:

1999

Language:

english

File:

PDF, 285 KB

english, 1999

10

Externally Triggered Glass Transition Switch for Localized On-Demand Drug Delivery

Jos T. F. Keurentjes, Maartje F. Kemmere, Henny Bruinewoud, Micky A. M. E. Vertommen, Stefan A. Rovers, Richard Hoogenboom, Léon F. S. Stemkens, Fabiènne L. A. M. A. Péters, Naomi J. C. Tielen, Dirk T

Journal:

Angewandte Chemie

Year:

2009

Language:

english

File:

PDF, 482 KB

english, 2009

11

Externally Triggered Glass Transition Switch for Localized On-Demand Drug Delivery

Jos T. F. Keurentjes, Maartje F. Kemmere, Henny Bruinewoud, Micky A. M. E. Vertommen, Stefan A. Rovers, Richard Hoogenboom, Léon F. S. Stemkens, Fabiènne L. A. M. A. Péters, Naomi J. C. Tielen, Dirk T

Journal:

Angewandte Chemie International Edition

Year:

2009

Language:

english

File:

PDF, 482 KB

english, 2009

12

Past pushdown timed automata and safety verification

Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 267 KB

english, 2004

13

Counter Machines and Verification Problems

Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 183 KB

english, 2002

14

Generalized discrete timed automata: decidable approximations for safety verification

Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 175 KB

english, 2003

15

Presburger liveness verification of discrete timed automata

Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 259 KB

english, 2003

16

Network attack detection and defense – Manifesto of the Dagstuhl Perspective Workshop, March 2nd–6th, 2008

Georg Carle, Falko Dressler, Richard A. Kemmerer, Hartmut Koenig, Christopher Kruegel, Pavel Laskov

Journal:

Computer Science - Research and Development

Year:

2009

Language:

english

File:

PDF, 300 KB

english, 2009

17

Using a virtual security testbed for digital forensic reconstruction

André Årnes, Paul Haas, Giovanni Vigna, Richard A. Kemmerer

Journal:

Journal of Computer Virology and Hacking Techniques

Year:

2007

Language:

english

File:

PDF, 487 KB

english, 2007

18

Pore-covered thermoresponsive membranes for repeated on-demand drug release

Micky A.M.E. Vertommen, Henk-Jan L. Cornelissen, Carin H.J.T. Dietz, Richard Hoogenboom, Maartje F. Kemmere, Jos T.F. Keurentjes

Journal:

Journal of Membrane Science

Year:

2008

Language:

english

File:

PDF, 987 KB

english, 2008

19

The design and analysis of real-time systems using the ASTRAL software development environment

Paul Z. Kolano, Zhe Dang, Richard A. Kemmerer

Journal:

Annals of Software Engineering

Year:

1999

Language:

english

File:

PDF, 295 KB

english, 1999

20

Unisex: A unix-based symbolic executor for pascal

Richard A. Kemmerer, Steven T. Eckmann

Journal:

Software: Practice and Experience

Year:

1985

Language:

english

File:

PDF, 1.02 MB

english, 1985

21

Matrix Isolation Microsampling Procedures in Quantitative Fourier Transform Infrared Spectrometry

Hembree, Doyle M., Hinton, E. Ray, Kemmerer, Richard R., Mamantov, Gleb, Wehry, E. L.

Journal:

Applied Spectroscopy

Year:

1979

Language:

english

File:

PDF, 467 KB

english, 1979

22

High prevalence of NASH among Mexican American females with type II diabetes mellitus

Nyingi M. Kemmer, Kevin H. McKinney, Shu-Yuan Xiao, Harbans Singh, Richard Murray, Basil Abdo, Mohsen Eledrisi, Ravi S. Bikinna, Hongbao Ma, Daryl T-Y Lau

Journal:

Gastroenterology

Year:

2001

Language:

english

File:

PDF, 190 KB

english, 2001

23

[IEEE 2010 International Conference on Availability, Reliability, and Security (ARES) - Krakow, Poland (2010.02.15-2010.02.18)] 2010 International Conference on Availability, Reliability and Security - Formal Specification and Analysis of an E-voting System

Weldemariam, Komminist, Kemmerer, Richard A., Villafiorita, Adolfo

Year:

2010

Language:

english

File:

PDF, 181 KB

english, 2010

24

Influence of Distribution on the Heating of Superparamagnetic Iron Oxide Nanoparticles in Poly(methyl methacrylate) in an Alternating Magnetic Field

Rovers, Stefan A., Dietz, Carin H. J. T., v. d. Poel, Leon A. M., Hoogenboom, Richard, Kemmere, Maartje F., Keurentjes, Jos T. F.

Journal:

The Journal of Physical Chemistry C

Year:

2010

Language:

english

File:

PDF, 1.88 MB

english, 2010

25

Designing and implementing a family of intrusion detection systems

Vigna, Giovanni, Valeur, Fredrik, Kemmerer, Richard A.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 200 KB

english, 2003

26

INATEST

Eckmann, Steven T., Kemmerer, Richard A.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1985

File:

PDF, 173 KB

1985

27

[ACM Press the 1994 international symposium - Seattle, Washington, United States (1994.08.17-1994.08.19)] Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94 - Aslantest: a symbolic execution tool for testing Aslan formal specifications

Douglas, Jeffrey, Kemmerer, Richard A.

Year:

1994

Language:

english

File:

PDF, 972 KB

english, 1994

28

Effect of processing on availability of iron salts in liquid infant formula products. Experimental soy isolate formulas

Theuer, Richard C., Kemmerer, Kenneth S., Martin, Wilbur H., Zoumas, Barry L., Sarett, Herbert P.

Journal:

Journal of Agricultural and Food Chemistry

Year:

1971

Language:

english

File:

PDF, 519 KB

english, 1971

29

Relaxation Processes of Superparamagnetic Iron Oxide Nanoparticles in Liquid and Incorporated in Poly(methyl methacrylate)

Rovers, Stefan A., Hoogenboom, Richard, Kemmere, Maartje F., Keurentjes, Jos T. F.

Journal:

The Journal of Physical Chemistry C

Year:

2008

Language:

english

File:

PDF, 682 KB

english, 2008

30

Characterization and Magnetic Heating of Commercial Superparamagnetic Iron Oxide Nanoparticles

Rovers, Stefan A., van der Poel, Leon A. M., Dietz, Carin H. J. T., Noijen, Jef J., Hoogenboom, Richard, Kemmere, Maartje F., Kopinga, Klaas, Keurentjes, Jos T. F.

Journal:

The Journal of Physical Chemistry C

Year:

2009

Language:

english

File:

PDF, 2.34 MB

english, 2009

31

[IEEE 2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009) - Toulouse, France (2009.10.19-2009.10.22)] 2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009) - Formal analysis of attacks for e-voting system

Weldemariam, Komminist, Kemmerer, Richard A., Villafiorita, Adolfo

Year:

2009

Language:

english

File:

PDF, 169 KB

english, 2009

32

RT-ASLAN: A specification language for real-time systems

Auernheimer, Brent, Kemmerer, Richard A.

Journal:

IEEE Transactions on Software Engineering

Year:

1986

Language:

english

File:

PDF, 2.06 MB

english, 1986

33

[IEEE Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007) - Miami Beach, FL, USA (2007.12.10-2007.12.14)] Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007) - So You Think You Can Dance?

Kemmerer, Richard A.

Year:

2007

Language:

english

File:

PDF, 327 KB

english, 2007

34

[IEEE IEEE INFOCOM 2014 - IEEE Conference on Computer Communications - Toronto, ON, Canada (2014.4.27-2014.5.2)] IEEE INFOCOM 2014 - IEEE Conference on Computer Communications - Rippler: Delay injection for service dependency detection

Zand, Ali, Vigna, Giovanni, Kemmerer, Richard, Kruegel, Christopher

Year:

2014

Language:

english

File:

PDF, 271 KB

english, 2014

35

SIRT3 Mediates Multi-Tissue Coupling for Metabolic Fuel Switching

Dittenhafer-Reed, Kristin E., Richards, Alicia L., Fan, Jing, Smallegan, Michael J., Fotuhi Siahpirani, Alireza, Kemmerer, Zachary A., Prolla, Tomas A., Roy, Sushmita, Coon, Joshua J., Denu, John M.

Journal:

Cell Metabolism

Year:

2015

Language:

english

File:

PDF, 2.92 MB

english, 2015

36

[IEEE 1982 IEEE Symposium on Security and Privacy - Oakland, CA, USA (1982.4.26-1982.4.28)] 1982 IEEE Symposium on Security and Privacy - A Practical Approach to Identifying Storage and Timing Channels

Kemmerer, Richard

Year:

1982

Language:

english

File:

PDF, 809 KB

english, 1982

37

[IEEE 2014 IEEE Security and Privacy Workshops (SPW) - San Jose, CA (2014.5.17-2014.5.18)] 2014 IEEE Security and Privacy Workshops - The Tricks of the Trade: What Makes Spam Campaigns Successful?

Iedemska, Jane, Stringhini, Gianluca, Kemmerer, Richard, Kruegel, Christopher, Vigna, Giovanni

Year:

2014

Language:

english

File:

PDF, 476 KB

english, 2014

38

Specification and verification of the UCLA Unix security kernel

Walker, Bruce J., Kemmerer, Richard A., Popek, Gerald J.

Journal:

Communications of the ACM

Year:

1980

Language:

english

File:

PDF, 8.52 MB

english, 1980

39

[ACM Press ACM SIGSOFT international symposium - Clearwater Beach, Florida, United States (1998.03.02-1998.03.04)] Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98 - The most influential papers from the ISSTA research community (panel)

Hamlet, Richard, Kemmerer, Richard, Miller, Edward F., Richardson, Debra J.

Year:

1998

File:

PDF, 26 KB

1998

40

Status of ongoing security-relevant projects

Kemmerer, Richard A.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1981

Language:

english

File:

PDF, 162 KB

english, 1981

41

The composability of ASTRAL realtime specifications

Coen-Porisini, Alberto, Kemmerer, Richard A.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1993

Language:

english

File:

PDF, 917 KB

english, 1993

42

[ACM Press the 22nd international conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the 22nd international conference on Software engineering - ICSE '00 - Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems

Dang, Zhe, Kemmerer, Richard A.

Year:

2000

Language:

english

File:

PDF, 351 KB

english, 2000

43

Security issues in distributed software

Kemmerer, Richard A.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1997

Language:

english

File:

PDF, 618 KB

english, 1997

44

[ACM Press the 2nd Workshop - Scottsdale, Arizona, USA (2014.11.07-2014.11.07)] Proceedings of the 2nd Workshop on Smart Energy Grid Security - SEGS '14 - Targeted Attacks against Industrial Control Systems

Line, Maria B., Zand, Ali, Stringhini, Gianluca, Kemmerer, Richard

Year:

2014

Language:

english

File:

PDF, 443 KB

english, 2014

45

[ACM Press the 21st international conference - Los Angeles, California, United States (1999.05.16-1999.05.22)] Proceedings of the 21st international conference on Software engineering - ICSE '99 - Using the ASTRAL model checker to analyze mobile IP

Dang, Zhe, Kemmerer, Richard A.

Year:

1999

Language:

english

File:

PDF, 1.11 MB

english, 1999

46

Shared resource matrix methodology: an approach to identifying storage and timing channels

Kemmerer, Richard A.

Journal:

ACM Transactions on Computer Systems

Year:

1983

Language:

english

File:

PDF, 1.21 MB

english, 1983

47

[ACM Press the 1993 international symposium - Cambridge, Massachusetts, United States (1993.06.28-1993.06.30)] Proceedings of the 1993 international symposium on Software testing and analysis - ISSTA '93 - The composability of ASTRAL realtime specifications

Coen-Porisini, Alberto, Kemmerer, Richard A.

Year:

1993

Language:

english

File:

PDF, 917 KB

english, 1993

48

[ACM Press the 2008 international symposium - Seattle, WA, USA (2008.07.20-2008.07.24)] Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA '08 - Are your votes really counted?

Balzarotti, Davide, Banks, Greg, Cova, Marco, Felmetsger, Viktoria, Kemmerer, Richard, Robertson, William, Valeur, Fredrik, Vigna, Giovanni

Year:

2008

Language:

english

File:

PDF, 283 KB

english, 2008

49

[ACM Press the seventh symposium - Pacific Grove, California, United States (1979.12.10-1979.12.12)] Proceedings of the seventh symposium on Operating systems principles - SOSP '79 - Specification and verification of the UCLA Unix security kernel (Extended Abstract)

Walker, Bruce J., Kemmerer, Richard A., Popek, Gerald J.

Year:

1979

Language:

english

File:

PDF, 201 KB

english, 1979

50

[IEEE 1987 IEEE Symposium on Security and Privacy - Oakland, CA, USA (1987.4.27-1987.4.29)] 1987 IEEE Symposium on Security and Privacy - Using Formal Verification Techniques to Analyze Encryption Protocols

Kemmerer, Richard A.

Year:

1987

Language:

english

File:

PDF, 582 KB

english, 1987

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски